﻿#include<stdio.h>
#include<stdlib.h>
#include<inttypes.h>
int main()
{
	int64_t a = 56789;
	printf("a=%11d", a);
	system("pause");
	return 0;
}
